/* testing +, - *, /, %, "-", priority and associativity */
/*@*/
int main(){
  print(7+3);//10
  print(7-3);//4
  print(7*3);//21
  print(7/3);//2
  print(7%3);//1
  print(-7);//-7

  print(7+3*2);//13
  print(7-3*6);//-11
  print(7+3/2);//8
  print(7+5%3);//9

  print((7+3)*2);//20
  print(6*(7-3));//24
  print(6*7-3);//39
  print(3-2*8/5);//0
  print(5%7+4/2);//7
  print(5/7 + 4/2);//2
  return 0;
}
/*@*/
